https://github.com/minetest-mods/player_monoids
